generalized modus ponens
广义假言推理
热门查询
- unwed adj. 未婚的；没有结婚的
- intel n. 美国英特尔公司（财富500强公司之一，以生产CPU芯片著称）
- extortion n. 勒索；敲诈；强夺；被勒索的财物
- lex n. （拉丁）法律；罗马公法（或私法） n. (Lex)人名；(德、匈)莱克斯；(葡)莱什
- disappointment n. 失望；沮丧
- entomology n. 昆虫学
- pry vi. 刺探，探查 vt. 撬动，撬开 n. 窥探；杠杆
- emphasize vt. 强调，着重
- donate n. 捐赠；捐献 vt. 捐赠；捐献 vi. 捐赠；捐献 n. (Donate)人名；(西)多纳特
- sutherland n. 萨瑟兰郡（英国苏格兰原郡名）；萨瑟兰
- dichotomously 二叉的 二歧的 二分的
- repository n. 贮藏室，仓库；知识库；智囊团
- sill n. 窗台；基石；门槛；[海洋] 海底山脊 n. (Sill)人名；(英、德)西尔
- Stevie [男子名] 史蒂维 Stephen的昵称; [电影]暗夜之子
- inadvisable adj. 失策的，不明智的；不受劝告的
- semiotician n. 符号学者
- ccd abbr. 电荷耦合器件（Charge Coupled Device）
- prayer n. 祈祷，祷告；恳求；祈祷文
- mana n. 神力，超自然力量；威望 n. (Mana)人名；(英、德、西、葡、泰、刚(金)、塞拉、塞)马娜 (女名)，马纳；(阿拉伯)马尼阿
- lubricate vi. 润滑；涂油；起润滑剂作用 vt. 使…润滑；给…加润滑油
考试词汇表
